debian/ updates to try to make build work

Signed-off-by: Ian Jackson <ian.jackson@citrix.com>

diff --git a/debian/changelog b/debian/changelog
index 4beffc423f36832c617704155d84f6e41dc15c1c..d38949707c05416cc1c46bcf3eacf7d50a1bb39d 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,7 +2,7 @@ xen (4.8.0~rc3-0~exp) UNRELEASED; urgency=medium
 
   * New upstream version, Xen 4.8.0 RC3.
 
- --
+ -- Ian Jackson <ijackson@chiark.greenend.org.uk>  Mon, 24 Oct 2016 17:31:27 +0100
 
 xen (4.6.0-1+nmu2) unstable; urgency=medium
 

diff --git a/debian/rules.defs b/debian/rules.defs
index 2aab2ce7a664017151ea8825d990eb35fdcd823a..54ef1ad8b4b1ccf8bc8a79bf88eacff2048902c4 100644 (file)
--- a/debian/rules.defs
+++ b/debian/rules.defs
@@ -1,4 +1,4 @@
-KERNELVERSION := 4.2.0-1
+KERNELVERSION := 4.7.0-1
 BUILD_DIR = debian/build
 STAMPS_DIR = debian/stamps
 TEMPLATES_DIR = debian/templates